Deterministic automaton - PDFSEARCH.IO - Document Search Engine

Deterministic automaton
Results: 176

#	Item
61	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
62	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
63	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
64	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
65	Building the Minimal Automaton of AX in Linear Time, when X is of Bounded Cardinality Add to Reading List Source URL: www.cs.ucr.edu Language: English* - Date: 2010-08-20 17:45:56 Aho–Corasick string matching algorithm Mathematics Deterministic automaton Computer science Regular language Alphabet Models of computation Automata theory Formal languages Theoretical computer science
66	Phase Transitions within Grammatical Inference Nicolas Pernot, Antoine Cornu´ejols & Mich`ele Sebag Laboratoire de Recherche en Informatique, CNRS UMR 8623 Bˆat.490, Universit´e de Paris-Sud, OrsayOrsay Cedex ( Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:50:42 Applied mathematics Computer science Deterministic finite automaton Finite-state machine Algorithm Grammar induction Machine learning Sequence Regular expression Automata theory Models of computation Theoretical computer science
67	COMS11700 Pushdown automata Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:32 Computer science Pushdown automaton Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Stack Deterministic pushdown automaton Nested word Automata theory Models of computation Theoretical computer science
68	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:28:09 Büchi automaton Regular language DFA minimization Finite-state machine Turing machine Deterministic automaton Ω-automaton Automata theory Theory of computation Theoretical computer science
69	Cost Functions and Value 1 problem in practice Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-12-18 04:04:55 Deterministic automaton Regular language Probabilistic automaton Mathematics Deterministic pushdown automaton Automata theory Applied mathematics Ω-automaton
70	Determinisation of history-deterministic automata 1 1 Denis Kuperberg , Michał Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-04 07:26:19 Büchi automaton Deterministic automaton Parity game Muller automaton Co-Büchi automaton Automata theory Theoretical computer science Computer science

UPDATE